Electronic Books

Total Books: 1 - 1 /1
978-3-540-79707-4
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Continue reading
Total Books: 1 - 1 /1